program correctness

美　英

un.程序正確性
網(wǎng)絡(luò)程式正確性

英漢解釋

un.

程序正確性

例句

Side effects complicate the math required to prove ~~program~~ ~~correctness~~.

副作用把驗證程序正確的數(shù)學(xué)問題復(fù)雜化。

Model and Algorithm Designing of the Proof of ~~Program~~ ~~Correctness~~ Based on XML Syntax Trees

基于語法樹的程序~~正確性~~驗證模型及算法設(shè)計

A Developing Method of Programs Based on the Proof Theoryof ~~Program~~ ~~Correctness~~

一種基于程序~~正確性~~證明理論的程序開發(fā)方法

熱門查詢

transcendent　　n. 卓越的人；超絕物 adj. 卓越的；超常的；出類拔萃的
GR　　射擊場, 總預(yù)備隊 [醫(yī)] 喱, 格令, 谷(英國重量單位)
nourishment　　n. 食物；營養(yǎng)品；滋養(yǎng)品
taoiseach　　n. （愛爾蘭共和國）總理
tubby　　n. (Tubby)人名；(英)塔比 adj. 桶狀的；發(fā)鈍音的；肥胖的
belie　　vt. 掩飾；與…不符；使失望；證明…虛假錯誤
emboldened　　vt. 使有膽量，使大膽
shadeless　　adj. 沒有陰影的；無遮蔽的
battered　　v. 連續(xù)猛擊；磨損（batter的過去分詞） adj. 破舊的；磨損的；弄垮的；受到虐待的
laying　　n. 敷設(shè)；布置；產(chǎn)卵數(shù)；瞄準(zhǔn) v. 放置；產(chǎn)卵（lay的ing形式）
considerate　　adj. 體貼的；體諒的；考慮周到的
false start　　n. 不成功的開端；起步失誤；起跑犯規(guī)；搶跑 [網(wǎng)絡(luò)] 搶航；搶先出發(fā)犯規(guī)；錯誤起點
Loveday　　[人名] [英格蘭人姓氏] 洛夫迪來源于中世紀(jì)英語女子名+古英語，含義是“親愛的+一日”(dear,beloved+day); [人名] [英格蘭人姓氏] 洛夫迪綽號，與loveday有特定的聯(lián)系，按中世紀(jì)風(fēng)俗，這一天專用于敵對勢力之間的和解和爭端的友好解決
Cavan　　n. 卡文（愛爾蘭地名）
character　　n. 性格，品質(zhì)；特性；角色；[計] 字符 vt. 印，刻；使具有特征 n. (Character)人名；(英)克拉克特
personage　　n. 要人；角色；名士
gauge　　n. 計量器；標(biāo)準(zhǔn)尺寸；容量規(guī)格 vt. 測量；估計；給…定規(guī)格
synchronise　　vt. 使同步；使同時發(fā)生（等于synchronize） vi. 同步；同時發(fā)生
schilling　　n. 先令（奧地利的貨幣單位） n. (Schilling)人名；(德、匈)席林
lithographed　　lithograph ['liθ?uɡrɑ:f; -ɡr?f] n. 【印刷】石印；平版畫(指石版或金屬版畫)；石版印刷品，平版印刷品 vt.,vi. 用石版印刷，用平版印刷術(shù)印刷以上來源于：《21世紀(jì)大英漢詞典》